2
Introduction to Abstract Algebra

Introduction to Abstract Algebra

J. Strother Moore
ปี:
1975
ภาษา:
english
ไฟล์:
PDF, 13.58 MB
0 / 0
english, 1975
3
A Computational Logic

A Computational Logic

Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
ปี:
1979
ภาษา:
english
ไฟล์:
PDF, 19.40 MB
0 / 0
english, 1979
4
A Computational Logic Handbook

A Computational Logic Handbook

Robert S. Boyer, J Strother Moore
ปี:
1988
ภาษา:
english
ไฟล์:
PDF, 19.03 MB
0 / 0
english, 1988
5
A Computational Logic Handbook

A Computational Logic Handbook

Robert S. Boyer, J. Strother Moore
ปี:
1988
ภาษา:
english
ไฟล์:
DJVU, 2.40 MB
0 / 0
english, 1988
6
Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
ปี:
2000
ภาษา:
english
ไฟล์:
DJVU, 2.77 MB
0 / 0
english, 2000
7
A Computational Logic (ACM monograph series)

A Computational Logic (ACM monograph series)

Robert S. Boyer, J. Strother Moore
ปี:
1979
ภาษา:
english
ไฟล์:
PDF, 825 KB
0 / 0
english, 1979
8
A computational logic

A computational logic

Robert S. Boyer, J.Strother Moore
ปี:
1979
ภาษา:
english
ไฟล์:
DJVU, 1.62 MB
0 / 0
english, 1979
11
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
ปี:
2000
ภาษา:
english
ไฟล์:
DJVU, 2.07 MB
0 / 0
english, 2000
12
A computational logic

A computational logic

Robert S. Boyer, J.Strother Moore
ปี:
1979
ภาษา:
english
ไฟล์:
DJVU, 858 KB
0 / 0
english, 1979
13
Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)
ปี:
2010
ภาษา:
english
ไฟล์:
PDF, 6.19 MB
0 / 0
english, 2010
14
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
ปี:
2000
ภาษา:
english
ไฟล์:
PDF, 8.93 MB
0 / 0
english, 2000
15
Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
ปี:
2000
ภาษา:
english
ไฟล์:
PDF, 11.72 MB
0 / 0
english, 2000
16
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

J Strother Moore
ปี:
1996
ภาษา:
english
ไฟล์:
PDF, 11.43 MB
0 / 0
english, 1996